Section: Partnerships and Cooperations

Regional Initiatives

DIM/LSC TECSTES - 2011-052D

In this DIGITEO project (No. 6024), Hernán Ponce de Léon, Delphine Longuet (ParisSud) and Stefan Haar cooperate on the subject of conformance testing for concurrent systems, using Event Structures. The project started on September 1, 2011 and is scheduled to end on August 31, 2014.

LOCOREP

In the DIGITEO project LoCoReP (No. 2010-043D), Aiswarya Cyriac, Paul Gastin, and Benedikt Bollig worked on temporal logics for the specification and verification of concurrent recursive programs. The project started on September 1, 2010 and ended on August 31, 2013.